Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The notion of compact object in an -category is the analogue in (∞,1)-category theory of the notion of compact object in category theory.
Let be a regular cardinal and an (∞,1)-category with -filtered (∞,1)-colimits.
Then an object is called -compact if the (∞,1)-categorical hom space functor
preserves -filtered (∞,1)-colimits.
For -compact we just say compact.
This appears as (HTT, def. 5.3.4.5).
Let be a regular cardinal.
Let be an (∞,1)-category which admits small -filtered (∞,1)-colimits. Then the full sub-(∞,1)-category of -compact objects in closed under -small (∞,1)-colimits in .
This is (HTT, cor. 5.3.4.15).
If the (∞,1)-category is a locally presentable (∞,1)-category, then it is the simplicial localization of a combinatorial model category , and one may ask how the 1-categorical notion of compact object in relates to the -categorical notion of compact in .
Since compactness is defined in terms of colimits, the question is closely related to the question which 1-categorical -filtered colimits in are already homotopy colimits (without having to derive them first).
General statements seem not to be in the literature yet, but see this MO discussion. For discussion of compactness in a model structure on simplicial sheaves, see for instance (Powell, section 4).
In (∞,1)Cat, for uncountable , the -compact objects are precisely the -essentially small (∞,1)-categories. (See there for more details.)
In ∞Grpd, for uncountable , the -compact objects are precisely the -essentially small ∞-groupoids. When , the compact objects in ∞Grpd are the retracts of the -small ∞Grpds, i.e., the retracts of the finite homotopy types (finite CW-complexes). Not every such retract is equivalent to a -small ∞-groupoid; the vanishing of Wall's finiteness obstruction is a necessary and sufficient condition for such an equivalence to exist.
compact object in an -category
The general definition appears as definition 5.3.4.5 in
Compactness in presenting model categories of simplicial sheaves is discussed for instance in
section 4 of
Last revised on February 15, 2014 at 04:58:49. See the history of this page for a list of all contributions to it.